Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

2 Publications


2012 | Conference Paper | LibreCat-ID: 22737
Model-driven Performance Engineering of Self-adaptive Systems: A Survey
M. Becker, M. Luckey, S. Becker, in: {Proceedings of the 8th International ACM SIGSOFT Conference on Quality of Software Architectures (QoSA)}, ACM, New York, NY, USA, 2012, pp. 117–122.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 37009
Assertion-Based Verification of RTOS Properties
M.F.S. Oliveira, H. Zabel, W. Müller, in: Proceedings of DATE’10, IEEE, Dresden, 2010.
LibreCat | DOI
 

Filters and Search Terms

keyword="Software performance"

Search

Filter Publications

Display / Sort

Export / Embed